[INFO] cloning repository https://github.com/matzemathics/rust-fixpoints
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/matzemathics/rust-fixpoints" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmatzemathics%2Frust-fixpoints", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmatzemathics%2Frust-fixpoints'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 80442bc83bebd7b046300f3e8e9a59302c3c50db
[INFO] checking matzemathics/rust-fixpoints against master#82310651b93a594a3fd69015e1562186a080d94c for pr-145770
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmatzemathics%2Frust-fixpoints" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/matzemathics/rust-fixpoints
[INFO] finished tweaking git repo https://github.com/matzemathics/rust-fixpoints
[INFO] tweaked toml for git repo https://github.com/matzemathics/rust-fixpoints written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/matzemathics/rust-fixpoints on toolchain 82310651b93a594a3fd69015e1562186a080d94c
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/matzemathics/rust-fixpoints already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1bfe126594a6f9098ac04bff779ecc6b74a39ebcf40701c8d2a987da55f75a58
[INFO] running `Command { std: "docker" "start" "-a" "1bfe126594a6f9098ac04bff779ecc6b74a39ebcf40701c8d2a987da55f75a58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1bfe126594a6f9098ac04bff779ecc6b74a39ebcf40701c8d2a987da55f75a58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1bfe126594a6f9098ac04bff779ecc6b74a39ebcf40701c8d2a987da55f75a58", kill_on_drop: false }`
[INFO] [stdout] 1bfe126594a6f9098ac04bff779ecc6b74a39ebcf40701c8d2a987da55f75a58
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 82b0c643700ee7841647011247f738bb6f67e33f206a6dd56dfa36b173a9828a
[INFO] running `Command { std: "docker" "start" "-a" "82b0c643700ee7841647011247f738bb6f67e33f206a6dd56dfa36b173a9828a", kill_on_drop: false }`
[INFO] [stderr]     Checking fixpoints v0.1.1-dev (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `traits::lattice::Bottom`
[INFO] [stdout]  --> src/type_inference/backwards.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     traits::lattice::Bottom, type_terms::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `unused`
[INFO] [stdout]   --> src/type_inference/model.rs:39:7
[INFO] [stdout]    |
[INFO] [stdout] 39 | #[cfg(unused)]
[INFO] [stdout]    |       ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: expected names are: `docsrs`, `feature`, and `test` and 31 more
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(unused)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(unused)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `traits::lattice::Bottom`
[INFO] [stdout]  --> src/type_inference/backwards.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     traits::lattice::Bottom, type_terms::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `unused`
[INFO] [stdout]   --> src/type_inference/model.rs:39:7
[INFO] [stdout]    |
[INFO] [stdout] 39 | #[cfg(unused)]
[INFO] [stdout]    |       ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: expected names are: `docsrs`, `feature`, and `test` and 31 more
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(unused)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(unused)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dg`
[INFO] [stdout]   --> src/type_inference/backwards.rs:85:9
[INFO] [stdout]    |
[INFO] [stdout] 85 |         dg: HashMap<P, Vec<P>>,
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_dg`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `dg`
[INFO] [stdout]   --> src/type_inference/backwards.rs:85:9
[INFO] [stdout]    |
[INFO] [stdout] 85 |         dg: HashMap<P, Vec<P>>,
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_dg`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Factorial` is never constructed
[INFO] [stdout]    --> src/type_inference/fixpoint.rs:228:19
[INFO] [stdout]     |
[INFO] [stdout] 228 | pub(crate) struct Factorial;
[INFO] [stdout]     |                   ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Fib` is never constructed
[INFO] [stdout]    --> src/type_inference/fixpoint.rs:245:19
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub(crate) struct Fib;
[INFO] [stdout]     |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: this method call resolves to `<&Box<[T]> as IntoIterator>::into_iter` (due to backwards compatibility), but will resolve to `<Box<[T]> as IntoIterator>::into_iter` in Rust 2024
[INFO] [stdout]    --> src/type_inference/tup.rs:102:38
[INFO] [stdout]     |
[INFO] [stdout] 102 |         for (index, ordering) in cmp.into_iter().enumerate() {
[INFO] [stdout]     |                                      ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/intoiterator-box-slice.html>
[INFO] [stdout]     = note: `#[warn(boxed_slice_into_iter)]` on by default
[INFO] [stdout] help: use `.iter()` instead of `.into_iter()` to avoid ambiguity
[INFO] [stdout]     |
[INFO] [stdout] 102 -         for (index, ordering) in cmp.into_iter().enumerate() {
[INFO] [stdout] 102 +         for (index, ordering) in cmp.iter().enumerate() {
[INFO] [stdout]     |
[INFO] [stdout] help: or use `IntoIterator::into_iter(..)` instead of `.into_iter()` to explicitly iterate by value
[INFO] [stdout]     |
[INFO] [stdout] 102 -         for (index, ordering) in cmp.into_iter().enumerate() {
[INFO] [stdout] 102 +         for (index, ordering) in IntoIterator::into_iter(cmp).enumerate() {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Fib` is never constructed
[INFO] [stdout]    --> src/type_inference/fixpoint.rs:245:19
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub(crate) struct Fib;
[INFO] [stdout]     |                   ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: this method call resolves to `<&Box<[T]> as IntoIterator>::into_iter` (due to backwards compatibility), but will resolve to `<Box<[T]> as IntoIterator>::into_iter` in Rust 2024
[INFO] [stdout]    --> src/type_inference/tup.rs:102:38
[INFO] [stdout]     |
[INFO] [stdout] 102 |         for (index, ordering) in cmp.into_iter().enumerate() {
[INFO] [stdout]     |                                      ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/intoiterator-box-slice.html>
[INFO] [stdout]     = note: `#[warn(boxed_slice_into_iter)]` on by default
[INFO] [stdout] help: use `.iter()` instead of `.into_iter()` to avoid ambiguity
[INFO] [stdout]     |
[INFO] [stdout] 102 -         for (index, ordering) in cmp.into_iter().enumerate() {
[INFO] [stdout] 102 +         for (index, ordering) in cmp.iter().enumerate() {
[INFO] [stdout]     |
[INFO] [stdout] help: or use `IntoIterator::into_iter(..)` instead of `.into_iter()` to explicitly iterate by value
[INFO] [stdout]     |
[INFO] [stdout] 102 -         for (index, ordering) in cmp.into_iter().enumerate() {
[INFO] [stdout] 102 +         for (index, ordering) in IntoIterator::into_iter(cmp).enumerate() {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `unused`
[INFO] [stdout]   --> src/bin/exmple.rs:31:11
[INFO] [stdout]    |
[INFO] [stdout] 31 |     #[cfg(unused)]
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: expected names are: `docsrs`, `feature`, and `test` and 31 more
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(unused)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(unused)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `unused`
[INFO] [stdout]   --> src/bin/exmple.rs:31:11
[INFO] [stdout]    |
[INFO] [stdout] 31 |     #[cfg(unused)]
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: expected names are: `docsrs`, `feature`, and `test` and 31 more
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(unused)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(unused)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]    = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `HeadTerm`, `NemoCtor`, and `WildcardType`
[INFO] [stdout]  --> src/bin/import.rs:4:50
[INFO] [stdout]   |
[INFO] [stdout] 4 |         model::{BodyAtom, BodyBuiltin, BodyTerm, HeadTerm, PatClause},
[INFO] [stdout]   |                                                  ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 8 |         const_model::{IdentConstant, NemoBuiltin, NemoCtor, TermLike},
[INFO] [stdout]   |                                                   ^^^^^^^^
[INFO] [stdout] 9 |         flat_type::{FlatType, WildcardType},
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `HeadTerm`, `NemoCtor`, and `WildcardType`
[INFO] [stdout]  --> src/bin/import.rs:4:50
[INFO] [stdout]   |
[INFO] [stdout] 4 |         model::{BodyAtom, BodyBuiltin, BodyTerm, HeadTerm, PatClause},
[INFO] [stdout]   |                                                  ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 8 |         const_model::{IdentConstant, NemoBuiltin, NemoCtor, TermLike},
[INFO] [stdout]   |                                                   ^^^^^^^^
[INFO] [stdout] 9 |         flat_type::{FlatType, WildcardType},
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.03s
[INFO] running `Command { std: "docker" "inspect" "82b0c643700ee7841647011247f738bb6f67e33f206a6dd56dfa36b173a9828a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "82b0c643700ee7841647011247f738bb6f67e33f206a6dd56dfa36b173a9828a", kill_on_drop: false }`
[INFO] [stdout] 82b0c643700ee7841647011247f738bb6f67e33f206a6dd56dfa36b173a9828a
